<?
    require_once("Clases/Docente.php");
    require_once("Clases/Alumno.php");
    session_start();
    $nomina = $_GET['nomina'];
    $val = new \Clases\Docente();
    $docente = $val->get($nomina);
        $lstAlumnos = $docente->getAlumnos();
        $str = "";
        foreach($lstAlumnos as $alumno)
            $str.=($alumno->Matricula.",");
        $str = substr_replace($str ,"",-1);
        echo sizeof($lstAlumnos);
   
?>
